Extractions in High Ercall